eclthrow($a$;$n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inr(inr(inr(inl($\langle$$a$$,\,$$n$$\rangle$)))))))